OWLOOP: A modular API to describe OWL axioms in OOP objects hierarchies

نویسندگان

چکیده

OWLOOP is an Application Programming Interface (API) for using the Ontology Web Language (OWL) by means of Object-Oriented (OOP). It common to design software architectures OOP paradigm increasing their modularity. If components architecture also exploit OWL ontologies knowledge representation and reasoning, they would require be interfaced with axioms. Since does not adhere paradigm, such interface often leads boilerplate code affecting modularity, designed address this issue as well associated computational aspects. We present extension OWL-API provide a general-purpose between axioms subject reasoning modular objects hierarchies.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The OWL API: A Java API for OWL ontologies

We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specification. It supports parsing and rendering in the syntaxes defined in the W3C specification (Functional Syntax, RDF/XML, OWL/XML and the Manchester OWL Syntax); manipulation of ontological structures; and the use of reasonin...

متن کامل

Hierarchies of forcing axioms II

A Σ21 truth for λ is a pair 〈Q,ψ〉 so that Q ⊆ Hλ, ψ is a first order formula with one free variable, and there exists B ⊆ H λ+ such that (H λ+ ;∈, B) |= ψ[Q]. A cardinal λ is Σ21 indescribable just in case that for every Σ 2 1 truth 〈Q,ψ〉 for λ, there exists λ̄ < λ so that λ̄ is a cardinal and 〈Q ∩ Hλ̄, ψ〉 is a Σ 2 1 truth for λ̄. More generally, an interval of cardinals [κ, λ] with κ ≤ λ is Σ21 in...

متن کامل

Hierarchies of forcing axioms I

We prove new upper bound theorems on the consistency strengths of SPFA(θ), SPFA(θ-linked) and SPFA(θ-cc). Our results are in terms of (θ,Γ)-subcompactness, which is a new large cardinal notion that combines the ideas behind subcompactness and Γ-indescribability. Our upper bound for SPFA(c-linked) has a corresponding lower bound, which is due to Neeman and appears in his follow-up to this paper....

متن کامل

The OWL API: A Java API for Working with OWL 2 Ontologies

This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural specification. It supports parsing and rendering in the syntaxes defined in the W3C specification, namely, the Functional Syntax, RDF/XML, OWL/XML and the Manchester OWL Syntax. Finally, the reference implementation of the A...

متن کامل

The OWL-S Java API

The OWL-Services (OWL-S) suite of ontologies is the most mature and probably the most widely deployed comprehensive Semantic Web Service technology. However, the intended semantics of OWL-S service descriptions is not expressed (or expressable, often) in OWL. Furthermore, working with OWL-S descriptions at the RDF or even the OWL level is quite difficult and tedious as they tend to be at the wr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SoftwareX

سال: 2022

ISSN: ['2352-7110']

DOI: https://doi.org/10.1016/j.softx.2021.100952